Definable Λp-regular cell decomposition
نویسنده
چکیده
We show that every definable subset of an o-minimal structure expanding an arbitrary real closed field can be decomposed into finitely many definable cells of certain regularity i.e. up to a given order, the derivatives of the functions, defining the cells, have controllable behaviour at the boundary of their domain. In [7] there is a proof of a subanalytic version of Whitney’s extension theorem which uses this kind of decomposition.
منابع مشابه
On the strong cell decomposition property for weakly o-minimal structures
We consider a class of weakly o-minimal structures admitting an o-minimal style cell decomposition, for which one can construct certain canonical o-minimal extension. The paper contains several fundamental facts concerning the structures in question. Among other things, it is proved that the strong cell decomposition property is preserved under elementary equivalences. We also investigate fiber...
متن کاملCell Decomposition and Dimension Functions in First-order Topological Structures
The notion of a cell and that of a cell decomposition has been a central one in the study of certain first-order theories. A cell is a particular kind of definable set. The notion of a cell was first explicitly considered in [8], in the context of the theory of real closed fields. Collins defined a class of cells in this context, and showed that every definable subset of a real closed field is ...
متن کاملThe definable tree property for successors of cardinals
Strengthening a result of Amir Leshem [7], we prove that the consistency strength of holding GCH together with definable tree property for all successors of regular cardinals is precisely equal to the consistency strength of existence of proper class many Π 1 reflecting cardinals. Moreover it is proved that if κ is a supercompact cardinal and λ > κ is measurable, then there is a generic extensi...
متن کاملSmooth Approximation in O-minimal Structures
Fix an o-minimal expansion of the real exponential field that possesses smooth cell decomposition. We prove smooth approximation of definable differentiable functions with respect to a topology closely related to the Whitney topology. As a consequence we obtain a strong version of definable smooth separation of sets, which we use to prove that definable smooth manifolds are definably affine.
متن کاملDefinable topological dynamics and real Lie groups
We investigate definable topological dynamics of groups definable in an o-minimal expansion of the field of reals. Assuming that a definable group G admits a model-theoretic analogue of Iwasawa decomposition, namely the compact-torsion-free decomposition G KH, we give a description of minimal subflows and the Ellis group of its universal definable flow SGpRq in terms of this decomposition. In p...
متن کامل